These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lire la suite